Partial Vs Volume Ltl